 |
0
索取号：TP301.1/E803
作者：Chasen、 Sylvan H.、 1926-、
出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1978.
| |
0
索取号：TP301-53/E991/6
作者：Symposium on Logic in Computer Science (6th : 1991 : Amsterdam、 Netherlands)、IEEE Xplore (Online service).、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、
出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c1991.
|
|
0
索取号：TP301-53/E991/1986
作者：Symposium on Logic in Computer Science (1986 : Cambridge、 Mass.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、ACM Special Interest Group for Automata and Computability Theory.、Association for Symbolic Logic.、European Association for Theoretical Computer Science.、
出版社：Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.
| |
0
索取号：TP301/E901
作者：Davis、 Martin、 1928-、Weyuker、 Elaine J.、
出版社：New York : Academic Press, 1983.
|
|
0
索取号：O24-53/E803/13
作者：ACM Symposium on Theory of Computing (13th : 1981 : Milwaukee、 Wis.)、ACM Special Interest Group for Automata and Computability Theory.、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、University of Wisconsin--Milwaukee. Dept. of Electrical Engineering and Computer Science.、
出版社：New York, N.Y. : ACM ; Baltimore, MD : Additional copies may be orderd from ACM Order Dept., 1981.
| |
0
索取号：TP30-53/E801
作者：
出版社：[New York : Institute of Electrical and Electronics Engineers], 1976.
|
|
0
索取号：TP312TC/E20011.2
作者：Welch、 Brent B.、
出版社：Upper Saddle River, NJ : Prentice Hall PTR, c1997.
| |
0
索取号：TP312-53/E901/1979
作者：Symposium on Language Design and Programming Methodology (1979 : Sydney、 N.S.W.)、Goos、G.、Tobias、 Jeffrey M.、 1953-、Australian Atomic Energy Commission.、University of New South Wales.、
出版社：Berlin ; New York : Springer-Verlag, 1980.
|
|
0
索取号：TP31-532/E901/6
作者：Colloquium on Automata、 Languages and Programming (6th : 1979 : Graz、 Austria)、Goos、G.、Maurer、 Hermann A.、 1941-、
出版社：Berlin ; New York : Springer-Verlag, 1979.
| |
0
索取号：TP3-53/E8015/4
作者：GI-Fachtagung Theoretische Informatik (4th : 1979 : Aachen)、Weihrauch、 K. (Klaus)、 1943-、Gesellschaft für Informatik.、
出版社：Berlin ; New York : Springer-Verlag, 1979.
|
|
0
索取号：TP3-53/E8014/1978
作者：Symposium on Mathematical Foundations of Computer Science (1972- ) (7th : 1978 : Zakopane、 Poland)、Winkowski、 J́Оzef、 1934-、
出版社：Berlin ; New York : Springer-Verlag, 1978.
| |
0
索取号：TP312/E8014
作者：
出版社：Berlin ; New York : Springer-Verlag, 1977.
|
|
0
索取号：TP3-53/E8014/1977
作者：Symposium on Mathematical Foundations of Computer Science (1972- ) (6th : 1977 : TatransḱА Lomnica、 Czechoslovakia)、Gruska、 Jozef.、
出版社：Berlin ; New York : Springer-Verlag, 1977.
| |
0
索取号：TP312-53/E801/1975
作者：Symposium on Methods for the Implementation of Algorithmic Languages、 Novosibirsk、 1975.、Ershov、 A. P. (AndrĕИ Petrovich)、Koster、 C. H. A. (Cornelis H. A.)、 1943-、
出版社：Berlin ; New York : Springer-Verlag, 1977.
|
|
0
索取号：TP3-53/E8018/4
作者：Informatik Symposium (4th : 1974 : Wildbad im Schwarzwald、 Ger.)、Hackl、 Clemens E.、IBM Deutschland.、IBM World Trade Corporation.、
出版社：Berlin ; New York : Springer-Verlag, 1975.
| |
0
索取号：TP3-53/E996/1991.2
作者：International Joint Conference on Theory and Practice of Software Development (4th : 1991 : Brighton、 England)、Abramsky、 Samson、 1953-、Maibaum、 Thomas S. E.、
出版社：Berlin ; New York : Springer-Verlag, 1991-
|
粤公网安备 44030602003680号